@book{appel:2004:moderncompilerimpl,
 author = {Appel, Andrew W. and Palsberg, Jens},
 title = {{Modern Compiler Implementation in Java}},
 year = {2003},
 isbn = {052182060X},
 edition = {2nd},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
}

@book{aho:2006:compilersprinciples,
 author = {Aho, Alfred V. and Lam, Monica S. and Sethi, Ravi and Ullman, Jeffrey D.},
 title = {{Compilers: Principles, Techniques, and Tools}},
 year = {2006},
 isbn = {0321486811},
 edition = {2nd},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
}

@book{aho:1974:the-design-and-analysis-of-computer-algorithms,
 author = {Alfred V. Aho and John E. Hopcroft and Jeffrey D. Ullman},
 title = {{The Design and Analysis of Computer Algorithms}},
 year = {1974},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
}

@book{muchnick:1997:advanced-compiler-design,
 author = {Muchnick, Steven S.},
 title = {{Advanced Compiler Design and Implementation}},
 year = {1997},
 isbn = {1-55860-320-4},
 publisher = {Morgan Kaufmann Publishers Inc.},
 address = {San Francisco, CA, USA},
}

@phdthesis{click:1995:combininganalyses,
 author = {Click,Jr., Clifford Noel},
 title = {{Combining Analyses, Combining Optimizations}},
 year = {1995},
 publisher = {Rice University},
 address = {Houston, TX, USA},
}

@mastersthesis{eisl:2013,
  author = {Josef Eisl},
  title = {{O}ptimization {F}ramework for the {CACAO} {VM}},
  school = {Vienna University of Technology},
  year = {2013}
}

@article{click:1995:asimplegraphbasedir,
 author = {Click, Cliff and Paleczny, Michael},
 title = {{A Simple Graph-based Intermediate Representation}},
 journal = {SIGPLAN Not.},
 issue_date = {March 1993},
 volume = {30},
 number = {3},
 month = mar,
 year = {1995},
 issn = {0362-1340},
 pages = {35--49},
 numpages = {15},
 url = {http://doi.acm.org/10.1145/202530.202534},
 doi = {10.1145/202530.202534},
 acmid = {202534},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{wegman:1991:constantpropagation,
 author = {Wegman, Mark N. and Zadeck, F. Kenneth},
 title = {{Constant Propagation with Conditional Branches}},
 journal = {ACM Trans. Program. Lang. Syst.},
 issue_date = {April 1991},
 volume = {13},
 number = {2},
 month = apr,
 year = {1991},
 issn = {0164-0925},
 pages = {181--210},
 numpages = {30},
 url = {http://doi.acm.org/10.1145/103135.103136},
 doi = {10.1145/103135.103136},
 acmid = {103136},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {abstract interpretation, code optimization, constant propagation, control flow graph, interprocedural analysis, procedure integration, static single assignment form, type determination},
}

@article{kam:1977:monotoneanalysisframeworks,
 year={1977},
 issn={0001-5903},
 journal={Acta Informatica},
 volume={7},
 number={3},
 doi={10.1007/BF00290339},
 title={{Monotone data flow analysis frameworks}},
 url={http://dx.doi.org/10.1007/BF00290339},
 publisher={Springer-Verlag},
 author={Kam, JohnB. and Ullman, JeffreyD.},
 pages={305-317},
 language={English}
}

@inproceedings{alpern:1988:detecting-equality-of-variables,
 author = {Alpern, B. and Wegman, M. N. and Zadeck, F. K.},
 title = {{Detecting Equality of Variables in Programs}},
 booktitle = {Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
 series = {POPL '88},
 year = {1988},
 isbn = {0-89791-252-7},
 location = {San Diego, California, USA},
 pages = {1--11},
 numpages = {11},
 url = {http://doi.acm.org/10.1145/73560.73561},
 doi = {10.1145/73560.73561},
 acmid = {73561},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@article{berstel:2010:minimization-of-automata,
 author    = {Jean Berstel and Luc Boasson and Olivier Carton and Isabelle Fagnot},
 title     = {{Minimization of Automata}},
 journal   = {CoRR},
 volume    = {abs/1010.5318},
 year      = {2010},
 ee        = {http://arxiv.org/abs/1010.5318},
 bibsource = {DBLP, http://dblp.uni-trier.de}
}

@techreport{hopcroft:1971:an-n-log-n-algorithm,
 author = {Hopcroft, John E.},
 title = {{An N Log N Algorithm for Minimizing States in a Finite Automaton}},
 year = {1971},
 source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Astan%3ASTAN%2F%2FCS-TR-71-190},
 publisher = {Stanford University},
 address = {Stanford, CA, USA},
}

@misc{kongstad:2004:gnu-gvn,
    author = {M{\r{a}}rten Kongstad},
    title = {{An Implementation of Global Value Numbering in the GNU Compiler Collection with Performance Measurements}},
    year = {2004}
}

@article{click:1995:gcm-gvn,
 author = {Click, Cliff},
 title = {{Global Code Motion/Global Value Numbering}},
 journal = {SIGPLAN Not.},
 issue_date = {June 1995},
 volume = {30},
 number = {6},
 month = jun,
 year = {1995},
 issn = {0362-1340},
 pages = {246--257},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/223428.207154},
 doi = {10.1145/223428.207154},
 acmid = {207154},
 publisher = {ACM},
 address = {New York, NY, USA},
}

@phdthesis{vandrunen:2004:pre-gvn,
 author = {Vandrunen, Thomas John},
 title = {{Partial Redundancy Elimination for Global Value Numbering}},
 year = {2004},
 isbn = {0-496-15310-2},
 publisher = {Purdue University},
 address = {West Lafayette, IN, USA},
}